Nuprl Definition : t_iterate
4,23
postcript
pdf
t_iterate(
l
;
n
;
t
)
== Case(
t
)
==
Case
x
;
y
=>
== Case
n
(t_iterate(
l
;
n
;
x
),t_iterate(
l
;
n
;
y
))
==
Case tree_leaf(
x
) =>
== Case
l
(
x
)
==
Default => True
(recursive)
latex
Definitions
t_iterate(
l
;
n
;
t
)
,
Y
,
Case(
value
)
body
,
Case
x
;
y
=>
body
(
x
;
y
)
cont
,
Case tree_leaf(
x
) =>
body
(
x
)
cont
,
Default =>
body
,
True
FDL editor aliases
t_iterate
origin